home *** CD-ROM | disk | FTP | other *** search
/ Languguage OS 2 / Languguage OS II Version 10-94 (Knowledge Media)(1994).ISO / gnu / difutl27.zip / difutl27 / diff.c < prev    next >
C/C++ Source or Header  |  1994-09-22  |  30KB  |  1,107 lines
  1. /* GNU DIFF main routine.
  2.    Copyright (C) 1988, 1989, 1992, 1993, 1994 Free Software Foundation, Inc.
  3.  
  4. This file is part of GNU DIFF.
  5.  
  6. GNU DIFF is free software; you can redistribute it and/or modify
  7. it under the terms of the GNU General Public License as published by
  8. the Free Software Foundation; either version 2, or (at your option)
  9. any later version.
  10.  
  11. GNU DIFF is distributed in the hope that it will be useful,
  12. but WITHOUT ANY WARRANTY; without even the implied warranty of
  13. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14. GNU General Public License for more details.
  15.  
  16. You should have received a copy of the GNU General Public License
  17. along with GNU DIFF; see the file COPYING.  If not, write to
  18. the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
  19.  
  20. /* GNU DIFF was written by Mike Haertel, David Hayes,
  21.    Richard Stallman, Len Tower, and Paul Eggert.  */
  22.  
  23. #define GDIFF_MAIN
  24. #include "diff.h"
  25. #include <signal.h>
  26. #include "getopt.h"
  27. #include "fnmatch.h"
  28.  
  29. #ifndef DEFAULT_WIDTH
  30. #define DEFAULT_WIDTH 130
  31. #endif
  32.  
  33. #ifndef GUTTER_WIDTH_MINIMUM
  34. #define GUTTER_WIDTH_MINIMUM 3
  35. #endif
  36.  
  37. static char const *filetype PARAMS((struct stat const *));
  38. static char *option_list PARAMS((char **, int));
  39. static int add_exclude_file PARAMS((char const *));
  40. static int ck_atoi PARAMS((char const *, int *));
  41. static int compare_files PARAMS((char const *, char const *, char const *, char const *, int));
  42. static int specify_format PARAMS((char **, char *));
  43. static void add_exclude PARAMS((char const *));
  44. static void add_regexp PARAMS((struct regexp_list **, char const *));
  45. static void specify_style PARAMS((enum output_style));
  46. static void try_help PARAMS((char const *));
  47. static void check_stdout PARAMS((void));
  48. static void usage PARAMS((void));
  49.  
  50. /* Nonzero for -r: if comparing two directories,
  51.    compare their common subdirectories recursively.  */
  52.  
  53. static int recursive;
  54.  
  55. /* For debugging: don't do discard_confusing_lines.  */
  56.  
  57. int no_discards;
  58.  
  59. #if HAVE_SETMODE
  60. /* I/O mode: nonzero only if using binary input/output.  */
  61. static int binary_I_O;
  62. #endif
  63.  
  64. /* Return a string containing the command options with which diff was invoked.
  65.    Spaces appear between what were separate ARGV-elements.
  66.    There is a space at the beginning but none at the end.
  67.    If there were no options, the result is an empty string.
  68.  
  69.    Arguments: OPTIONVEC, a vector containing separate ARGV-elements, and COUNT,
  70.    the length of that vector.  */
  71.  
  72. static char *
  73. option_list (optionvec, count)
  74.      char **optionvec;  /* Was `vector', but that collides on Alliant.  */
  75.      int count;
  76. {
  77.   int i;
  78.   size_t length = 0;
  79.   char *result;
  80.  
  81.   for (i = 0; i < count; i++)
  82.     length += strlen (optionvec[i]) + 1;
  83.  
  84.   result = xmalloc (length + 1);
  85.   result[0] = 0;
  86.  
  87.   for (i = 0; i < count; i++)
  88.     {
  89.       strcat (result, " ");
  90.       strcat (result, optionvec[i]);
  91.     }
  92.  
  93.   return result;
  94. }
  95.  
  96. /* Convert STR to a positive integer, storing the result in *OUT.
  97.    If STR is not a valid integer, return -1 (otherwise 0). */
  98. static int
  99. ck_atoi (str, out)
  100.      char const *str;
  101.      int *out;
  102. {
  103.   char const *p;
  104.   for (p = str; *p; p++)
  105.     if (*p < '0' || *p > '9')
  106.       return -1;
  107.  
  108.   *out = atoi (optarg);
  109.   return 0;
  110. }
  111.  
  112. /* Keep track of excluded file name patterns.  */
  113.  
  114. static char const **exclude;
  115. static int exclude_alloc, exclude_count;
  116.  
  117. int
  118. excluded_filename (f)
  119.      char const *f;
  120. {
  121.   int i;
  122.   for (i = 0;  i < exclude_count;  i++)
  123.     if (fnmatch (exclude[i], f, 0) == 0)
  124.       return 1;
  125.   return 0;
  126. }
  127.  
  128. static void
  129. add_exclude (pattern)
  130.      char const *pattern;
  131. {
  132.   if (exclude_alloc <= exclude_count)
  133.     exclude = (char const **)
  134.           (exclude_alloc == 0
  135.            ? xmalloc ((exclude_alloc = 64) * sizeof (*exclude))
  136.            : xrealloc (exclude, (exclude_alloc *= 2) * sizeof (*exclude)));
  137.  
  138.   exclude[exclude_count++] = pattern;
  139. }
  140.  
  141. static int
  142. add_exclude_file (name)
  143.      char const *name;
  144. {
  145.   struct file_data f;
  146.   char *p, *q, *lim;
  147.  
  148.   f.name = optarg;
  149.   f.desc = (strcmp (optarg, "-") == 0
  150.         ? STDIN_FILENO
  151.         : open (optarg, O_RDONLY, 0));
  152.   if (f.desc < 0 || fstat (f.desc, &f.stat) != 0)
  153.     return -1;
  154.  
  155.   sip (&f, 1);
  156.   slurp (&f);
  157.  
  158.   for (p = f.buffer, lim = p + f.buffered_chars;  p < lim;  p = q)
  159.     {
  160.       q = (char *) memchr (p, '\n', lim - p);
  161.       if (!q)
  162.     q = lim;
  163.       *q++ = 0;
  164.       add_exclude (p);
  165.     }
  166.  
  167.   return close (f.desc);
  168. }
  169.  
  170. /* The numbers 129- that appear in the fourth element of some entries
  171.    tell the big switch in `main' how to process those options.  */
  172.  
  173. static struct option const longopts[] =
  174. {
  175.   {"ignore-blank-lines", 0, 0, 'B'},
  176.   {"context", 2, 0, 'C'},
  177.   {"ifdef", 1, 0, 'D'},
  178.   {"show-function-line", 1, 0, 'F'},
  179.   {"speed-large-files", 0, 0, 'H'},
  180.   {"ignore-matching-lines", 1, 0, 'I'},
  181.   {"label", 1, 0, 'L'},
  182.   {"file-label", 1, 0, 'L'},    /* An alias, no longer recommended */
  183.   {"new-file", 0, 0, 'N'},
  184.   {"entire-new-file", 0, 0, 'N'},    /* An alias, no longer recommended */
  185.   {"unidirectional-new-file", 0, 0, 'P'},
  186.   {"starting-file", 1, 0, 'S'},
  187.   {"initial-tab", 0, 0, 'T'},
  188.   {"width", 1, 0, 'W'},
  189.   {"text", 0, 0, 'a'},
  190.   {"ascii", 0, 0, 'a'},        /* An alias, no longer recommended */
  191.   {"ignore-space-change", 0, 0, 'b'},
  192.   {"minimal", 0, 0, 'd'},
  193.   {"ed", 0, 0, 'e'},
  194.   {"forward-ed", 0, 0, 'f'},
  195.   {"ignore-case", 0, 0, 'i'},
  196.   {"paginate", 0, 0, 'l'},
  197.   {"print", 0, 0, 'l'},        /* An alias, no longer recommended */
  198.   {"rcs", 0, 0, 'n'},
  199.   {"show-c-function", 0, 0, 'p'},
  200.   {"brief", 0, 0, 'q'},
  201.   {"recursive", 0, 0, 'r'},
  202.   {"report-identical-files", 0, 0, 's'},
  203.   {"expand-tabs", 0, 0, 't'},
  204.   {"version", 0, 0, 'v'},
  205.   {"ignore-all-space", 0, 0, 'w'},
  206.   {"exclude", 1, 0, 'x'},
  207.   {"exclude-from", 1, 0, 'X'},
  208.   {"side-by-side", 0, 0, 'y'},
  209.   {"unified", 2, 0, 'U'},
  210.   {"left-column", 0, 0, 129},
  211.   {"suppress-common-lines", 0, 0, 130},
  212.   {"sdiff-merge-assist", 0, 0, 131},
  213.   {"old-line-format", 1, 0, 132},
  214.   {"new-line-format", 1, 0, 133},
  215.   {"unchanged-line-format", 1, 0, 134},
  216.   {"line-format", 1, 0, 135},
  217.   {"old-group-format", 1, 0, 136},
  218.   {"new-group-format", 1, 0, 137},
  219.   {"unchanged-group-format", 1, 0, 138},
  220.   {"changed-group-format", 1, 0, 139},
  221.   {"horizon-lines", 1, 0, 140},
  222.   {"help", 0, 0, 141},
  223.   {"binary", 0, 0, 142},
  224.   {0, 0, 0, 0}
  225. };
  226.  
  227. int
  228. main (argc, argv)
  229.      int argc;
  230.      char *argv[];
  231. {
  232.   int val;
  233.   int c;
  234.   int prev = -1;
  235.   int width = DEFAULT_WIDTH;
  236.   int show_c_function = 0;
  237.  
  238.   /* Do our initializations.  */
  239.   initialize_main (&argc, &argv);
  240.   program_name = argv[0];
  241.   output_style = OUTPUT_NORMAL;
  242.   context = -1;
  243.  
  244.   /* Decode the options.  */
  245.  
  246.   while ((c = getopt_long (argc, argv,
  247.                "0123456789abBcC:dD:efF:hHiI:lL:nNpPqrsS:tTuU:vwW:x:X:y",
  248.                longopts, 0)) != EOF)
  249.     {
  250.       switch (c)
  251.     {
  252.       /* All digits combine in decimal to specify the context-size.  */
  253.     case '1':
  254.     case '2':
  255.     case '3':
  256.     case '4':
  257.     case '5':
  258.     case '6':
  259.     case '7':
  260.     case '8':
  261.     case '9':
  262.     case '0':
  263.       if (context == -1)
  264.         context = 0;
  265.       /* If a context length has already been specified,
  266.          more digits allowed only if they follow right after the others.
  267.          Reject two separate runs of digits, or digits after -C.  */
  268.       else if (prev < '0' || prev > '9')
  269.         fatal ("context length specified twice");
  270.  
  271.       context = context * 10 + c - '0';
  272.       break;
  273.  
  274.     case 'a':
  275.       /* Treat all files as text files; never treat as binary.  */
  276.       always_text_flag = 1;
  277.       break;
  278.  
  279.     case 'b':
  280.       /* Ignore changes in amount of white space.  */
  281.       ignore_space_change_flag = 1;
  282.       ignore_some_changes = 1;
  283.       ignore_some_line_changes = 1;
  284.       break;
  285.  
  286.     case 'B':
  287.       /* Ignore changes affecting only blank lines.  */
  288.       ignore_blank_lines_flag = 1;
  289.       ignore_some_changes = 1;
  290.       break;
  291.  
  292.     case 'C':        /* +context[=lines] */
  293.     case 'U':        /* +unified[=lines] */
  294.       if (optarg)
  295.         {
  296.           if (context >= 0)
  297.         fatal ("context length specified twice");
  298.  
  299.           if (ck_atoi (optarg, &context))
  300.         fatal ("invalid context length argument");
  301.         }
  302.  
  303.       /* Falls through.  */
  304.     case 'c':
  305.       /* Make context-style output.  */
  306.       specify_style (c == 'U' ? OUTPUT_UNIFIED : OUTPUT_CONTEXT);
  307.       break;
  308.  
  309.     case 'd':
  310.       /* Don't discard lines.  This makes things slower (sometimes much
  311.          slower) but will find a guaranteed minimal set of changes.  */
  312.       no_discards = 1;
  313.       break;
  314.  
  315.     case 'D':
  316.       /* Make merged #ifdef output.  */
  317.       specify_style (OUTPUT_IFDEF);
  318.       {
  319.         int i, err = 0;
  320.         static char const C_ifdef_group_formats[] =
  321.           "#ifndef %s\n%%<#endif /* not %s */\n%c#ifdef %s\n%%>#endif /* %s */\n%c%%=%c#ifndef %s\n%%<#else /* %s */\n%%>#endif /* %s */\n";
  322.         char *b = xmalloc (sizeof (C_ifdef_group_formats)
  323.                    + 7 * strlen(optarg) - 14 /* 7*"%s" */
  324.                    - 8 /* 5*"%%" + 3*"%c" */);
  325.         sprintf (b, C_ifdef_group_formats,
  326.              optarg, optarg, 0,
  327.              optarg, optarg, 0, 0,
  328.              optarg, optarg, optarg);
  329.         for (i = 0; i < 4; i++)
  330.           {
  331.         err |= specify_format (&group_format[i], b);
  332.         b += strlen (b) + 1;
  333.           }
  334.         if (err)
  335.           error ("conflicting #ifdef formats", 0, 0);
  336.       }
  337.       break;
  338.  
  339.     case 'e':
  340.       /* Make output that is a valid `ed' script.  */
  341.       specify_style (OUTPUT_ED);
  342.       break;
  343.  
  344.     case 'f':
  345.       /* Make output that looks vaguely like an `ed' script
  346.          but has changes in the order they appear in the file.  */
  347.       specify_style (OUTPUT_FORWARD_ED);
  348.       break;
  349.  
  350.     case 'F':
  351.       /* Show, for each set of changes, the previous line that
  352.          matches the specified regexp.  Currently affects only
  353.          context-style output.  */
  354.       add_regexp (&function_regexp_list, optarg);
  355.       break;
  356.  
  357.     case 'h':
  358.       /* Split the files into chunks of around 1500 lines
  359.          for faster processing.  Usually does not change the result.
  360.  
  361.          This currently has no effect.  */
  362.       break;
  363.  
  364.     case 'H':
  365.       /* Turn on heuristics that speed processing of large files
  366.          with a small density of changes.  */
  367.       heuristic = 1;
  368.       break;
  369.  
  370.     case 'i':
  371.       /* Ignore changes in case.  */
  372.       ignore_case_flag = 1;
  373.       ignore_some_changes = 1;
  374.       ignore_some_line_changes = 1;
  375.       break;
  376.  
  377.     case 'I':
  378.       /* Ignore changes affecting only lines that match the
  379.          specified regexp.  */
  380.       add_regexp (&ignore_regexp_list, optarg);
  381.       ignore_some_changes = 1;
  382.       break;
  383.  
  384.     case 'l':
  385.       /* Pass the output through `pr' to paginate it.  */
  386.       paginate_flag = 1;
  387. #if !defined(SIGCHLD) && defined(SIGCLD)
  388. #define SIGCHLD SIGCLD
  389. #endif
  390. #ifdef SIGCHLD
  391.       /* Pagination requires forking and waiting, and
  392.          System V fork+wait does not work if SIGCHLD is ignored.  */
  393.       signal (SIGCHLD, SIG_DFL);
  394. #endif
  395.       break;
  396.  
  397.     case 'L':
  398.       /* Specify file labels for `-c' output headers.  */
  399.       if (!file_label[0])
  400.         file_label[0] = optarg;
  401.       else if (!file_label[1])
  402.         file_label[1] = optarg;
  403.       else
  404.         fatal ("too many file label options");
  405.       break;
  406.  
  407.     case 'n':
  408.       /* Output RCS-style diffs, like `-f' except that each command
  409.          specifies the number of lines affected.  */
  410.       specify_style (OUTPUT_RCS);
  411.       break;
  412.  
  413.     case 'N':
  414.       /* When comparing directories, if a file appears only in one
  415.          directory, treat it as present but empty in the other.  */
  416.       entire_new_file_flag = 1;
  417.       break;
  418.  
  419.     case 'p':
  420.       /* Make context-style output and show name of last C function.  */
  421.       show_c_function = 1;
  422.       add_regexp (&function_regexp_list, "^[_a-zA-Z$]");
  423.       break;
  424.  
  425.     case 'P':
  426.       /* When comparing directories, if a file appears only in
  427.          the second directory of the two,
  428.          treat it as present but empty in the other.  */
  429.       unidirectional_new_file_flag = 1;
  430.       break;
  431.  
  432.     case 'q':
  433.       no_details_flag = 1;
  434.       break;
  435.  
  436.     case 'r':
  437.       /* When comparing directories,
  438.          recursively compare any subdirectories found.  */
  439.       recursive = 1;
  440.       break;
  441.  
  442.     case 's':
  443.       /* Print a message if the files are the same.  */
  444.       print_file_same_flag = 1;
  445.       break;
  446.  
  447.     case 'S':
  448.       /* When comparing directories, start with the specified
  449.          file name.  This is used for resuming an aborted comparison.  */
  450.       dir_start_file = optarg;
  451.       break;
  452.  
  453.     case 't':
  454.       /* Expand tabs to spaces in the output so that it preserves
  455.          the alignment of the input files.  */
  456.       tab_expand_flag = 1;
  457.       break;
  458.  
  459.     case 'T':
  460.       /* Use a tab in the output, rather than a space, before the
  461.          text of an input line, so as to keep the proper alignment
  462.          in the input line without changing the characters in it.  */
  463.       tab_align_flag = 1;
  464.       break;
  465.  
  466.     case 'u':
  467.       /* Output the context diff in unidiff format.  */
  468.       specify_style (OUTPUT_UNIFIED);
  469.       break;
  470.  
  471.     case 'v':
  472.       printf ("diff - GNU diffutils version %s\n", version_string);
  473.       exit (0);
  474.  
  475.     case 'w':
  476.       /* Ignore horizontal white space when comparing lines.  */
  477.       ignore_all_space_flag = 1;
  478.       ignore_some_changes = 1;
  479.       ignore_some_line_changes = 1;
  480.       break;
  481.  
  482.     case 'x':
  483.       add_exclude (optarg);
  484.       break;
  485.  
  486.     case 'X':
  487.       if (add_exclude_file (optarg) != 0)
  488.         pfatal_with_name (optarg);
  489.       break;
  490.  
  491.     case 'y':
  492.       /* Use side-by-side (sdiff-style) columnar output. */
  493.       specify_style (OUTPUT_SDIFF);
  494.       break;
  495.  
  496.     case 'W':
  497.       /* Set the line width for OUTPUT_SDIFF.  */
  498.       if (ck_atoi (optarg, &width) || width <= 0)
  499.         fatal ("column width must be a positive integer");
  500.       break;
  501.  
  502.     case 129:
  503.       sdiff_left_only = 1;
  504.       break;
  505.  
  506.     case 130:
  507.       sdiff_skip_common_lines = 1;
  508.       break;
  509.  
  510.     case 131:
  511.       /* sdiff-style columns output. */
  512.       specify_style (OUTPUT_SDIFF);
  513.       sdiff_help_sdiff = 1;
  514.       break;
  515.  
  516.     case 132:
  517.     case 133:
  518.     case 134:
  519.       specify_style (OUTPUT_IFDEF);
  520.       if (specify_format (&line_format[c - 132], optarg) != 0)
  521.         error ("conflicting line format", 0, 0);
  522.       break;
  523.  
  524.     case 135:
  525.       specify_style (OUTPUT_IFDEF);
  526.       {
  527.         int i, err = 0;
  528.         for (i = 0; i < sizeof (line_format) / sizeof (*line_format); i++)
  529.           err |= specify_format (&line_format[i], optarg);
  530.         if (err)
  531.           error ("conflicting line format", 0, 0);
  532.       }
  533.       break;
  534.  
  535.     case 136:
  536.     case 137:
  537.     case 138:
  538.     case 139:
  539.       specify_style (OUTPUT_IFDEF);
  540.       if (specify_format (&group_format[c - 136], optarg) != 0)
  541.         error ("conflicting group format", 0, 0);
  542.       break;
  543.  
  544.     case 140:
  545.       if (ck_atoi (optarg, &horizon_lines) || horizon_lines < 0)
  546.         fatal ("horizon must be a nonnegative integer");
  547.       break;
  548.  
  549.     case 141:
  550.       usage ();
  551.       check_stdout ();
  552.       exit (0);
  553.  
  554.     case 142:
  555.       /* Use binary I/O when reading and writing data.
  556.          On Posix hosts, this has no effect.  */
  557. #if HAVE_SETMODE
  558.       binary_I_O = 1;
  559.       setmode (STDOUT_FILENO, O_BINARY);
  560. #endif
  561.       break;
  562.  
  563.     default:
  564.       try_help (0);
  565.     }
  566.       prev = c;
  567.     }
  568.  
  569.   if (argc - optind != 2)
  570.     try_help (argc - optind < 2 ? "missing operand" : "extra operand");
  571.  
  572.  
  573.   {
  574.     /*
  575.      *    We maximize first the half line width, and then the gutter width,
  576.      *    according to the following constraints:
  577.      *    1.  Two half lines plus a gutter must fit in a line.
  578.      *    2.  If the half line width is nonzero:
  579.      *        a.  The gutter width is at least GUTTER_WIDTH_MINIMUM.
  580.      *        b.  If tabs are not expanded to spaces,
  581.      *        a half line plus a gutter is an integral number of tabs,
  582.      *        so that tabs in the right column line up.
  583.      */
  584.     int t = tab_expand_flag ? 1 : TAB_WIDTH;
  585.     int off = (width + t + GUTTER_WIDTH_MINIMUM) / (2*t)  *  t;
  586.     sdiff_half_width = max (0, min (off - GUTTER_WIDTH_MINIMUM, width - off)),
  587.     sdiff_column2_offset = sdiff_half_width ? off : width;
  588.   }
  589.  
  590.   if (show_c_function && output_style != OUTPUT_UNIFIED)
  591.     specify_style (OUTPUT_CONTEXT);
  592.  
  593.   if (output_style != OUTPUT_CONTEXT && output_style != OUTPUT_UNIFIED)
  594.     context = 0;
  595.   else if (context == -1)
  596.     /* Default amount of context for -c.  */
  597.     context = 3;
  598.  
  599.   if (output_style == OUTPUT_IFDEF)
  600.     {
  601.       /* Format arrays are char *, not char const *,
  602.      because integer formats are temporarily modified.
  603.      But it is safe to assign a constant like "%=" to a format array,
  604.      since "%=" does not format any integers.  */
  605.       int i;
  606.       for (i = 0; i < sizeof (line_format) / sizeof (*line_format); i++)
  607.     if (!line_format[i])
  608.       line_format[i] = "%l\n";
  609.       if (!group_format[OLD])
  610.     group_format[OLD]
  611.       = group_format[UNCHANGED] ? group_format[UNCHANGED] : "%<";
  612.       if (!group_format[NEW])
  613.     group_format[NEW]
  614.       = group_format[UNCHANGED] ? group_format[UNCHANGED] : "%>";
  615.       if (!group_format[UNCHANGED])
  616.     group_format[UNCHANGED] = "%=";
  617.       if (!group_format[CHANGED])
  618.     group_format[CHANGED] = concat (group_format[OLD],
  619.                     group_format[NEW], "");
  620.     }
  621.  
  622.   no_diff_means_no_output =
  623.     (output_style == OUTPUT_IFDEF ?
  624.       (!*group_format[UNCHANGED]
  625.        || (strcmp (group_format[UNCHANGED], "%=") == 0
  626.        && !*line_format[UNCHANGED]))
  627.      : output_style == OUTPUT_SDIFF ? sdiff_skip_common_lines : 1);
  628.  
  629.   switch_string = option_list (argv + 1, optind - 1);
  630.  
  631.   val = compare_files (0, argv[optind], 0, argv[optind + 1], 0);
  632.  
  633.   /* Print any messages that were saved up for last.  */
  634.   print_message_queue ();
  635.  
  636.   check_stdout ();
  637.   exit (val);
  638.   return val;
  639. }
  640.  
  641. /* Add the compiled form of regexp PATTERN to REGLIST.  */
  642.  
  643. static void
  644. add_regexp (reglist, pattern)
  645.      struct regexp_list **reglist;
  646.      char const *pattern;
  647. {
  648.   struct regexp_list *r;
  649.   char const *m;
  650.  
  651.   r = (struct regexp_list *) xmalloc (sizeof (*r));
  652.   bzero (r, sizeof (*r));
  653.   r->buf.fastmap = xmalloc (256);
  654.   m = re_compile_pattern (pattern, strlen (pattern), &r->buf);
  655.   if (m != 0)
  656.     error ("%s: %s", pattern, m);
  657.  
  658.   /* Add to the start of the list, since it's easier than the end.  */
  659.   r->next = *reglist;
  660.   *reglist = r;
  661. }
  662.  
  663. static void
  664. try_help (reason)
  665.      char const *reason;
  666. {
  667.   if (reason)
  668.     error ("%s", reason, 0);
  669.   error ("Try `%s --help' for more information.", program_name, 0);
  670.   exit (2);
  671. }
  672.  
  673. static void
  674. check_stdout ()
  675. {
  676.   if (ferror (stdout) || fclose (stdout) != 0)
  677.     fatal ("write error");
  678. }
  679.  
  680. static char const * const option_help[] = {
  681. "-i  --ignore-case  Consider upper- and lower-case to be the same.",
  682. "-w  --ignore-all-space  Ignore all white space.",
  683. "-b  --ignore-space-change  Ignore changes in the amount of white space.",
  684. "-B  --ignore-blank-lines  Ignore changes whose lines are all blank.",
  685. "-I RE  --ignore-matching-lines=RE  Ignore changes whose lines all match RE.",
  686. #if HAVE_SETMODE
  687. "--binary  Read and write data in binary mode.",
  688. #endif
  689. "-a  --text  Treat all files as text.\n",
  690. "-c  -C NUM  --context[=NUM]  Output NUM (default 2) lines of copied context.",
  691. "-u  -U NUM  --unified[=NUM]  Output NUM (default 2) lines of unified context.",
  692. "  -NUM  Use NUM context lines.",
  693. "  -L LABEL  --label LABEL  Use LABEL instead of file name.",
  694. "  -p  --show-c-function  Show which C function each change is in.",
  695. "  -F RE  --show-function-line=RE  Show the most recent line matching RE.",
  696. "-q  --brief  Output only whether files differ.",
  697. "-e  --ed  Output an ed script.",
  698. "-n  --rcs  Output an RCS format diff.",
  699. "-y  --side-by-side  Output in two columns.",
  700. "  -w NUM  --width=NUM  Output at most NUM (default 130) characters per line.",
  701. "  --left-column  Output only the left column of common lines.",
  702. "  --suppress-common-lines  Do not output common lines.",
  703. "-DNAME  --ifdef=NAME  Output merged file to show `#ifdef NAME' diffs.",
  704. "--GTYPE-group-format=GFMT  Similar, but format GTYPE input groups with GFMT.",
  705. "--line-format=LFMT  Similar, but format all input lines with LFMT.",
  706. "--LTYPE-line-format=LFMT  Similar, but format LTYPE input lines with LFMT.",
  707. "  LTYPE is `old', `new', or `unchanged'.  GTYPE is LTYPE or `changed'.",
  708. "  GFMT may contain:",
  709. "    %<  lines from FILE1",
  710. "    %>  lines from FILE2",
  711. "    %=  lines common to FILE1 and FILE2",
  712. "    %[-][WIDTH][.[PREC]]{doxX}LETTER  printf-style spec for LETTER",
  713. "      LETTERs are as follows for new group, lower case for old group:",
  714. "        F  first line number",
  715. "        L  last line number",
  716. "        N  number of lines = L-F+1",
  717. "        E  F-1",
  718. "        M  L+1",
  719. "  LFMT may contain:",
  720. "    %L  contents of line",
  721. "    %l  contents of line, excluding any trailing newline",
  722. "    %[-][WIDTH][.[PREC]]{doxX}n  printf-style spec for input line number",
  723. "  Either GFMT or LFMT may contain:",
  724. "    %%  %",
  725. "    %c'C'  the single character C",
  726. "    %c'\\OOO'  the character with octal code OOO\n",
  727. "-l  --paginate  Pass the output through `pr' to paginate it.",
  728. "-t  --expand-tabs  Expand tabs to spaces in output.",
  729. "-T  --initial-tab  Make tabs line up by prepending a tab.\n",
  730. "-r  --recursive  Recursively compare any subdirectories found.",
  731. "-N  --new-file  Treat absent files as empty.",
  732. "-P  --unidirectional-new-file  Treat absent first files as empty.",
  733. "-s  --report-identical-files  Report when two files are the same.",
  734. "-x PAT  --exclude=PAT  Exclude files that match PAT.",
  735. "-X FILE  --exclude-from=FILE  Exclude files that match any pattern in FILE.",
  736. "-S FILE  --starting-file=FILE  Start with FILE when comparing directories.\n",
  737. "--horizon-lines=NUM  Keep NUM lines of the common prefix and suffix.",
  738. "-d  --minimal  Try hard to find a smaller set of changes.",
  739. "-H  --speed-large-files  Assume large files and many scattered small changes.\n",
  740. "-v  --version  Output version info.",
  741. "--help  Output this help.",
  742. 0
  743. };
  744.  
  745. static void
  746. usage ()
  747. {
  748.   char const * const *p;
  749.  
  750.   printf ("Usage: %s [OPTION]... FILE1 FILE2\n\n", program_name);
  751.   for (p = option_help;  *p;  p++)
  752.     printf ("  %s\n", *p);
  753.   printf ("\nIf FILE1 or FILE2 is `-', read standard input.\n");
  754. }
  755.  
  756. static int
  757. specify_format (var, value)
  758.      char **var;
  759.      char *value;
  760. {
  761.   int err = *var ? strcmp (*var, value) : 0;
  762.   *var = value;
  763.   return err;
  764. }
  765.  
  766. static void
  767. specify_style (style)
  768.      enum output_style style;
  769. {
  770.   if (output_style != OUTPUT_NORMAL
  771.       && output_style != style)
  772.     error ("conflicting specifications of output style", 0, 0);
  773.   output_style = style;
  774. }
  775.  
  776. static char const *
  777. filetype (st)
  778.      struct stat const *st;
  779. {
  780.   /* See Posix.2 section 4.17.6.1.1 and Table 5-1 for these formats.
  781.      To keep diagnostics grammatical, the returned string must start
  782.      with a consonant.  */
  783.  
  784.   if (S_ISREG (st->st_mode))
  785.     {
  786.       if (st->st_size == 0)
  787.     return "regular empty file";
  788.       /* Posix.2 section 5.14.2 seems to suggest that we must read the file
  789.      and guess whether it's C, Fortran, etc., but this is somewhat useless
  790.      and doesn't reflect historical practice.  We're allowed to guess
  791.      wrong, so we don't bother to read the file.  */
  792.       return "regular file";
  793.     }
  794.   if (S_ISDIR (st->st_mode)) return "directory";
  795.  
  796.   /* other Posix.1 file types */
  797. #ifdef S_ISBLK
  798.   if (S_ISBLK (st->st_mode)) return "block special file";
  799. #endif
  800. #ifdef S_ISCHR
  801.   if (S_ISCHR (st->st_mode)) return "character special file";
  802. #endif
  803. #ifdef S_ISFIFO
  804.   if (S_ISFIFO (st->st_mode)) return "fifo";
  805. #endif
  806.  
  807.   /* other Posix.1b file types */
  808. #ifdef S_TYPEISMQ
  809.   if (S_TYPEISMQ (st)) return "message queue";
  810. #endif
  811. #ifdef S_TYPEISSEM
  812.   if (S_TYPEISSEM (st)) return "semaphore";
  813. #endif
  814. #ifdef S_TYPEISSHM
  815.   if (S_TYPEISSHM (st)) return "shared memory object";
  816. #endif
  817.  
  818.   /* other popular file types */
  819.   /* S_ISLNK is impossible with `fstat' and `stat'.  */
  820. #ifdef S_ISSOCK
  821.   if (S_ISSOCK (st->st_mode)) return "socket";
  822. #endif
  823.  
  824.   return "weird file";
  825. }
  826.  
  827. /* Compare two files (or dirs) with specified names
  828.    DIR0/NAME0 and DIR1/NAME1, at level DEPTH in directory recursion.
  829.    (if DIR0 is 0, then the name is just NAME0, etc.)
  830.    This is self-contained; it opens the files and closes them.
  831.  
  832.    Value is 0 if files are the same, 1 if different,
  833.    2 if there is a problem opening them.  */
  834.  
  835. static int
  836. compare_files (dir0, name0, dir1, name1, depth)
  837.      char const *dir0, *dir1;
  838.      char const *name0, *name1;
  839.      int depth;
  840. {
  841.   struct file_data inf[2];
  842.   register int i;
  843.   int val;
  844.   int same_files;
  845.   int failed = 0;
  846.   char *free0 = 0, *free1 = 0;
  847.  
  848.   /* If this is directory comparison, perhaps we have a file
  849.      that exists only in one of the directories.
  850.      If so, just print a message to that effect.  */
  851.  
  852.   if (! ((name0 != 0 && name1 != 0)
  853.      || (unidirectional_new_file_flag && name1 != 0)
  854.      || entire_new_file_flag))
  855.     {
  856.       char const *name = name0 == 0 ? name1 : name0;
  857.       char const *dir = name0 == 0 ? dir1 : dir0;
  858.       message ("Only in %s: %s\n", dir, name);
  859.       /* Return 1 so that diff_dirs will return 1 ("some files differ").  */
  860.       return 1;
  861.     }
  862.  
  863.   bzero (inf, sizeof (inf));
  864.  
  865.   /* Mark any nonexistent file with -1 in the desc field.  */
  866.   /* Mark unopened files (e.g. directories) with -2. */
  867.  
  868.   inf[0].desc = name0 == 0 ? -1 : -2;
  869.   inf[1].desc = name1 == 0 ? -1 : -2;
  870.  
  871.   /* Now record the full name of each file, including nonexistent ones.  */
  872.  
  873.   if (name0 == 0)
  874.     name0 = name1;
  875.   if (name1 == 0)
  876.     name1 = name0;
  877.  
  878.   inf[0].name = dir0 == 0 ? name0 : (free0 = dir_file_pathname (dir0, name0));
  879.   inf[1].name = dir1 == 0 ? name1 : (free1 = dir_file_pathname (dir1, name1));
  880.  
  881.   /* Stat the files.  Record whether they are directories.  */
  882.  
  883.   for (i = 0; i <= 1; i++)
  884.     {
  885.       if (inf[i].desc != -1)
  886.     {
  887.       int stat_result;
  888.  
  889.       if (i && filename_cmp (inf[i].name, inf[0].name) == 0)
  890.         {
  891.           inf[i].stat = inf[0].stat;
  892.           stat_result = 0;
  893.         }
  894.       else if (strcmp (inf[i].name, "-") == 0)
  895.         {
  896.           inf[i].desc = STDIN_FILENO;
  897.           stat_result = fstat (STDIN_FILENO, &inf[i].stat);
  898.           if (stat_result == 0 && S_ISREG (inf[i].stat.st_mode))
  899.         {
  900.           off_t pos = lseek (STDIN_FILENO, (off_t) 0, SEEK_CUR);
  901.           if (pos == -1)
  902.             stat_result = -1;
  903.           else
  904.             {
  905.               if (pos <= inf[i].stat.st_size)
  906.             inf[i].stat.st_size -= pos;
  907.               else
  908.             inf[i].stat.st_size = 0;
  909.               /* Posix.2 4.17.6.1.4 requires current time for stdin.  */
  910.               time (&inf[i].stat.st_mtime);
  911.             }
  912.         }
  913.         }
  914.       else
  915.         stat_result = stat (inf[i].name, &inf[i].stat);
  916.  
  917.       if (stat_result != 0)
  918.         {
  919.           perror_with_name (inf[i].name);
  920.           failed = 1;
  921.         }
  922.       else
  923.         {
  924.           inf[i].dir_p = S_ISDIR (inf[i].stat.st_mode) && inf[i].desc != 0;
  925.           if (inf[1 - i].desc == -1)
  926.         {
  927.           inf[1 - i].dir_p = inf[i].dir_p;
  928.           inf[1 - i].stat.st_mode = inf[i].stat.st_mode;
  929.         }
  930.         }
  931.     }
  932.     }
  933.  
  934.   if (! failed && depth == 0 && inf[0].dir_p != inf[1].dir_p)
  935.     {
  936.       /* If one is a directory, and it was specified in the command line,
  937.      use the file in that dir with the other file's basename.  */
  938.  
  939.       int fnm_arg = inf[0].dir_p;
  940.       int dir_arg = 1 - fnm_arg;
  941.       char const *fnm = inf[fnm_arg].name;
  942.       char const *dir = inf[dir_arg].name;
  943.       char const *p = filename_lastdirchar (fnm);
  944.       char const *filename = inf[dir_arg].name
  945.     = dir_file_pathname (dir, p ? p + 1 : fnm);
  946.  
  947.       if (strcmp (fnm, "-") == 0)
  948.     fatal ("can't compare - to a directory");
  949.  
  950.       if (stat (filename, &inf[dir_arg].stat) != 0)
  951.     {
  952.       perror_with_name (filename);
  953.       failed = 1;
  954.     }
  955.       else
  956.     inf[dir_arg].dir_p = S_ISDIR (inf[dir_arg].stat.st_mode);
  957.     }
  958.  
  959.   if (failed)
  960.     {
  961.  
  962.       /* If either file should exist but does not, return 2.  */
  963.  
  964.       val = 2;
  965.  
  966.     }
  967.   else if ((same_files = inf[0].desc != -1 && inf[1].desc != -1
  968.              && 0 < same_file (&inf[0].stat, &inf[1].stat))
  969.        && no_diff_means_no_output)
  970.     {
  971.       /* The two named files are actually the same physical file.
  972.      We know they are identical without actually reading them.  */
  973.  
  974.       val = 0;
  975.     }
  976.   else if (inf[0].dir_p & inf[1].dir_p)
  977.     {
  978.       if (output_style == OUTPUT_IFDEF)
  979.     fatal ("-D option not supported with directories");
  980.  
  981.       /* If both are directories, compare the files in them.  */
  982.  
  983.       if (depth > 0 && !recursive)
  984.     {
  985.       /* But don't compare dir contents one level down
  986.          unless -r was specified.  */
  987.       message ("Common subdirectories: %s and %s\n",
  988.            inf[0].name, inf[1].name);
  989.       val = 0;
  990.     }
  991.       else
  992.     {
  993.       val = diff_dirs (inf, compare_files, depth);
  994.     }
  995.  
  996.     }
  997.   else if ((inf[0].dir_p | inf[1].dir_p)
  998.        || (depth > 0
  999.            && (! S_ISREG (inf[0].stat.st_mode)
  1000.            || ! S_ISREG (inf[1].stat.st_mode))))
  1001.     {
  1002.       /* Perhaps we have a subdirectory that exists only in one directory.
  1003.      If so, just print a message to that effect.  */
  1004.  
  1005.       if (inf[0].desc == -1 || inf[1].desc == -1)
  1006.     {
  1007.       if ((inf[0].dir_p | inf[1].dir_p)
  1008.           && recursive
  1009.           && (entire_new_file_flag
  1010.           || (unidirectional_new_file_flag && inf[0].desc == -1)))
  1011.         val = diff_dirs (inf, compare_files, depth);
  1012.       else
  1013.         {
  1014.           char const *dir = (inf[0].desc == -1) ? dir1 : dir0;
  1015.           /* See Posix.2 section 4.17.6.1.1 for this format.  */
  1016.           message ("Only in %s: %s\n", dir, name0);
  1017.           val = 1;
  1018.         }
  1019.     }
  1020.       else
  1021.     {
  1022.       /* We have two files that are not to be compared.  */
  1023.  
  1024.       /* See Posix.2 section 4.17.6.1.1 for this format.  */
  1025.       message5 ("File %s is a %s while file %s is a %s\n",
  1026.             inf[0].name, filetype (&inf[0].stat),
  1027.             inf[1].name, filetype (&inf[1].stat));
  1028.  
  1029.       /* This is a difference.  */
  1030.       val = 1;
  1031.     }
  1032.     }
  1033.   else if ((no_details_flag & ~ignore_some_changes)
  1034.        && inf[0].stat.st_size != inf[1].stat.st_size
  1035.        && (inf[0].desc == -1 || S_ISREG (inf[0].stat.st_mode))
  1036.        && (inf[1].desc == -1 || S_ISREG (inf[1].stat.st_mode)))
  1037.     {
  1038.       message ("Files %s and %s differ\n", inf[0].name, inf[1].name);
  1039.       val = 1;
  1040.     }
  1041.   else
  1042.     {
  1043.       /* Both exist and neither is a directory.  */
  1044.  
  1045.       /* Open the files and record their descriptors.  */
  1046.  
  1047.       if (inf[0].desc == -2)
  1048.     if ((inf[0].desc = open (inf[0].name, O_RDONLY, 0)) < 0)
  1049.       {
  1050.         perror_with_name (inf[0].name);
  1051.         failed = 1;
  1052.       }
  1053.       if (inf[1].desc == -2)
  1054.     if (same_files)
  1055.       inf[1].desc = inf[0].desc;
  1056.     else if ((inf[1].desc = open (inf[1].name, O_RDONLY, 0)) < 0)
  1057.       {
  1058.         perror_with_name (inf[1].name);
  1059.         failed = 1;
  1060.       }
  1061.  
  1062. #if HAVE_SETMODE
  1063.       if (binary_I_O)
  1064.     for (i = 0; i <= 1; i++)
  1065.       if (0 <= inf[i].desc)
  1066.         setmode (inf[i].desc, O_BINARY);
  1067. #endif
  1068.  
  1069.       /* Compare the files, if no error was found.  */
  1070.  
  1071.       val = failed ? 2 : diff_2_files (inf, depth);
  1072.  
  1073.       /* Close the file descriptors.  */
  1074.  
  1075.       if (inf[0].desc >= 0 && close (inf[0].desc) != 0)
  1076.     {
  1077.       perror_with_name (inf[0].name);
  1078.       val = 2;
  1079.     }
  1080.       if (inf[1].desc >= 0 && inf[0].desc != inf[1].desc
  1081.       && close (inf[1].desc) != 0)
  1082.     {
  1083.       perror_with_name (inf[1].name);
  1084.       val = 2;
  1085.     }
  1086.     }
  1087.  
  1088.   /* Now the comparison has been done, if no error prevented it,
  1089.      and VAL is the value this function will return.  */
  1090.  
  1091.   if (val == 0 && !inf[0].dir_p)
  1092.     {
  1093.       if (print_file_same_flag)
  1094.     message ("Files %s and %s are identical\n",
  1095.          inf[0].name, inf[1].name);
  1096.     }
  1097.   else
  1098.     fflush (stdout);
  1099.  
  1100.   if (free0)
  1101.     free (free0);
  1102.   if (free1)
  1103.     free (free1);
  1104.  
  1105.   return val;
  1106. }
  1107.